On the Finite Model Property of Intuitionistic Modal Log - ics over MIPC 1 ) 2 )

نویسندگان

  • Takahito Aoto
  • Hiroyuki Shirasu
چکیده

MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull(1966). It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property whenever L is Kripke-complete and universal. Mathematics Subject Classi cation: 03B45, 03B25.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property if there exists a universal rstorder sentence such that (1) L is characterized by the class of Kripke frames satisfying and (2) every Kripke frame that validates L satis es . Here, MIPC is a well-known intuitionistic modal logic introduced by Prior (1957).

متن کامل

Glivenko Type Theorems for Intuitionistic Modal Logics

In this article we deal with Glivenko type theorems for intuitionistic modal logics over Prior’s MIPC. We examine the problems which appear in proving Glivenko type theorems when passing from the intuitionistic propositional logic Int to MIPC. As a result we obtain two different versions of Glivenko’s theorem for logics over MIPC. Since MIPC can be thought of as a one-variable fragment of the i...

متن کامل

Disjunction Property and Finite Model Property For an Intuitionistic Epistemic Logic

We show finite model property, disjunction property and decidability for an intuitionistic epistemic logic IEC. Intuitionistic logic is originally a formalisation of a single mathematician whose knowledge increases over time. The logic IEC formalises multiple agents that communicate asynchronously and whose knowledge increases over time. Although soundness and strong completeness for IEC for a ...

متن کامل

A Hybrid Intuitionistic Logic: Semantics and Decidability

An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate properties in a particular place, in some place and in all places. We give a sound and complete Kripke semantics for the logic extended with disjunctive connectives. The extended logic can be seen as an instance of Hybrid IS5. ...

متن کامل

Dualities for Some Intuitionistic Modal Logics

We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [8, 9]. Unlike other dualities for IK reported in the literature (see for example [13]), the dual structures of the duality presented here are ordered topological spaces endowed with just one extra relation, which is used to define the set-theoretic representation of both 2 and 3. Also, this duality natura...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998